Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
231	An Algorithm for Computing Nucleic Acid Base-Pairing Probabilities Including Pseudoknots ROBERT M. DIRKS,1 NILES A. PIERCE2 1 Department of Chemistry, California Institute of Technology, Pasadena, California 91125 Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:26 Biology Genetics Pseudoknot Nucleic acid secondary structure Dynamic programming NUPACK Partition Algorithm Recursion Mathematics RNA Mathematical logic
232	What Are Osteoporosis and Arthritis and How Are They Different? Fast Facts: An Easy-to-Read Series of Publications for the Public Osteoporosis and arthritis are easy to confuse. This fact sheet explains how they are alik Add to Reading List Source URL: imageserv10.team-logic.com Language: English - Date: 2011-08-02 19:39:25 Aging-associated diseases Arthritis Rheumatology Connective tissue diseases Osteopathies Osteoporosis Rheumatoid arthritis National Institute of Arthritis and Musculoskeletal and Skin Diseases Osteoarthritis Health Medicine Anatomy
233	Health System Outcomes and Measurement Framework December[removed]Amended August 2014) Add to Reading List Source URL: www.health.alberta.ca Language: English - Date: 2014-11-08 03:21:17 Nursing Health policy Health economics Logic model Patient safety Performance measurement Canadian Institute for Health Information Social determinants of health Health system Health Medicine Public health
234	Generalizing Conjunctive Queries for Informative Answers Katsumi Inoue and Lena Wiese? National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan {ki\|wiese}@nii.ac.jp Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2011-12-16 02:42:21 Model theory Predicate logic Generalization Conjunctive query Structure First-order logic Function Interpretation FO Mathematical logic Logic Mathematics
235	Syntactic Similarity for Ranking Database Answers obtained by Anti-Instantiation Lena Wiese Institute of Computer Science University of G¨ ottingen Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2013-09-30 07:46:26 Logic form Jaccard index Science Artificial intelligence Conjunctive query Database theory Statistics
236	INSTITUTE FOR YOUTH, EDUCATION & FAMILIES July[removed]The California Cities Gang Prevention Network Evaluation Summit Add to Reading List Source URL: www.ccgpn.org Language: English - Date: 2012-06-12 12:41:58 Methodology Impact assessment Program evaluation Logic model Empowerment evaluation Evaluation methods Evaluation Sociology
237	A New Nonlinear Guidance Logic for Trajectory Tracking Sanghyuk Park∗, John Deyst†, and Jonathan P. How‡ Massachusetts Institute of Technology, Cambridge, MA, 02139, USA A new nonlinear guidance logic, that has dem Add to Reading List Source URL: acl.mit.edu Language: English - Date: 2011-06-05 16:48:17 Ballistics Motion Physical quantities Centripetal force Acceleration Control theory Trajectory Velocity Work Physics Mechanics Kinematics
238	1 An Improved Link Model for Window Flow Control and Its Application to FAST TCP Krister Jacobsson∗ , Lachlan L. H. Andrew† , Ao Tang‡ , Steven H. Low† , H˚akan Hjalmarsson∗ ∗ Royal Institute of Technology Add to Reading List Source URL: leecenter.caltech.edu Language: English - Date: 2009-05-08 15:45:09 Network architecture Network congestion FAST TCP TCP congestion avoidance algorithm Queuing delay Dynamical system Compound TCP Transmission Control Protocol Entailment Logic Network performance Computing
239	Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints Lena Wiese National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan [removed] Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2010-12-14 02:40:39 Mathematical logic Database constraints Logic Model theory Relational model Functional dependency First-order logic Function Relational database Data management Database theory Data modeling
240	Logic models: A tool for designing and monitoring program evaluations Brian Lawton, University of Hawaii at Manoa Paul R. Brandon, University of Hawaii at Manoa Louis Cicchinelli, Mid-continent Research for Education an Add to Reading List Source URL: www.relpacific.mcrel.org Language: English - Date: 2014-06-05 20:26:52 Science Impact assessment Logic model Program evaluation Logic Institute of Education Sciences Empowerment evaluation WestEd Evaluation Evaluation methods Education

UPDATE